резолюция (в логике)

См. также в других словарях:

• Суверенитет — (Sovereignty) Суверенитет это независимость государства от других стран Суверенитет России и его проблемы, суверенитет Украины, суверенитет республики Беларусь, суверенитет Казахстана, суверенитет Чечни, Проблемы суверенитета стран Европы,… …   Энциклопедия инвестора

• ООН. СТРУКТУРА — В соответствии с Уставом ООН учреждены шесть основных органов новой всемирной организации: Совет Безопасности, Генеральная Ассамблея, Секретариат, Экономический и социальный совет, Совет по опеке, Международный суд ООН. Кроме того, Устав допускал …   Энциклопедия Кольера

• Дизъюнкт Хорна — В математической логике, дизъюнкт Хорна  дизъюнкция литералов с не более чем одним положительным литералом. Дизъюнкты Хорна названы по имени логика Альфреда Хорна, который впервые указал важность таких дизъюнктов в статье 1951 года «On… …   Википедия

• Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики)  семейство языков представления знаний …   Википедия

• Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций  это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка …   Википедия

• Российская Советская Федеративная Социалистическая Республика, РСФСР (народное образование и культурно-просветительные учреждения) — VIII. Народное образование и культурно просветительные учреждения = История народного образования на территории РСФСР уходит в глубокую древность. В Киевской Руси элементарная грамотность была распространена среди разных слоев населения, о чём… …   Большая советская энциклопедия

• Российская Советская Федеративная Социалистическая Республика —         РСФСР.          I. Общие сведения РСФСР образована 25 октября (7 ноября) 1917. Граничит на С. З. с Норвегией и Финляндией, на З. с Польшей, на Ю. В. с Китаем, МНР и КНДР, а также с союзными республиками, входящими в состав СССР: на З. с… …   Большая советская энциклопедия

• Меньшевизм в литературоведении — 1. Меньшевизм (социально политическая характеристика). 2. Философские основы русского меньшевизма. 3. Литературно теоретические взгляды меньшевиков. 4. Проблема пролетарской культуры и литературы у меньшевиков. 5. История литературы в… …   Литературная энциклопедия

• Пятая республика — История Франции Портал Франция Доисторическая Франция До кроманьонцев: Олдувай, Аббевиль, Ашёль, Мустье Кроманьонцы …   Википедия

• Октябрьская революция — У этого термина существуют и другие значения, см. Октябрьская революция (значения). Октябрьское восстание …   Википедия

• Пятая Республика — История Франции Портал Франция Доисторическая Франция До кроманьонцев: Олдувай, Аббевиль, Ашёль, Мустье Кроманьонцы …   Википедия